Towards a Theory of Sequential Hy- Brid Programs towards a Theory of Sequential Hy- Brid Programs

UNU/IIST UNU/IIST enables developing countries to attain self-reliance in software technology by: (i) their own development of high integrity computing systems, (ii) highest level postgraduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated software as reasonable. UNU/IIST contributes through: (a) advanced, joint industry{university advanced development projects in which rigorous techniques supported by semantics-based tools are applied in case studies to software systems development, (b) own and joint university and academy institute research in which new techniques for (1) application domain and computing platform modelling, (2) requirements capture, and (3) software design & programming are being investigated, (c) advanced, postgraduate and post-doctoral level courses which typically teach Design Calculi oriented software development techniques, (d) events panels, task forces, workshops and symposia], and (e) dissemination. Application-wise, the advanced development projects presently focus on software to support large-scale infrastructure systems such as transport systems (railways, airlines, air traac, etc.), manufacturing industries , public administration, telecommunications, etc., and are thus aligned with UN and International Aid System concerns. UNU/IIST is a leading software technology centre in the area of infrastructure software development. UNU/IIST is also a leading research centre in the area of Duration Calculi, i.e. techniques applicable to real-time, reactive, hybrid & safety critical systems. The research projects parallel and support the advanced development projects. At present, the technical focus of UNU/IIST in all of the above is on applying, teaching, researching , and disseminating Design Calculi oriented techniques and tools for trustworthy software development. UNU/IIST currently emphasises techniques that permit proper development steps and interfaces. UNU/IIST also endeavours to promulgate sound project and product management principles. UNU/IIST's primary dissemination strategy is to act as a clearing house for reports from research and technology centres in industrial countries to industries and academic institutions in developing countries. At present more than 200 institutions worldwide contribute to UNU/IIST's report collection while UNU/IIST at the same time subscribes to more than 125 international scientiic and technical journals. Information on reports received (and produced) and on journal articles is to be disseminated regularly to developing country centres | which are then free to order a reasonable number of report and article copies from UNU/IIST. Abstract A theory of Sequential Hybrid Programs (SHP) is studied. These programs consist of phase statements and the normal sequential programming constructs such as assignments, condition-als and iterations. Phase statements are speciications representing some time-dependent dy-namical …